1. Abduction and Induction
پدیدآورنده: edited by Peter A. Flach, Antonis C. Kakas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
2. Algebraic Foundations of Many-Valued Reasoning
پدیدآورنده: by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
3. Assoziation :
پدیدآورنده: von Gerhard Strube.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Philosophy (General)
رده :
BF371
.
V664
1984
4. Automated Deduction - A Basis for Applications
پدیدآورنده: edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
5. Automated Deduction - A Basis for Applications
پدیدآورنده: edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
6. Belief Change
پدیدآورنده: edited by Didier Dubois, Henri Prade.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General)
رده :
Q375
.
E358
1998
7. Cognition, Semantics and Philosophy :
پدیدآورنده: edited by Jesús Ezquerro, Jesús M. Larrazabal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Philosophy (General),Semantics.
رده :
BF311
.
E358
1992
8. Computer in Büro und Verwaltung :
پدیدآورنده: von Michael Frese, Felix C. Brodbeck.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Management information systems.,Philosophy (General)
رده :
BF39
.
5
V666
1989
9. Cooperation :
پدیدآورنده: by Raimo Tuomela.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Philosophy (General),Philosophy of mind.
رده :
BJ1533
.
C74
B973
2000
10. Dynamic Worlds
پدیدآورنده: edited by Remo Pareschi, Bertram Fronhöfer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).
11. Formal Aspects of Context
پدیدآورنده: edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
12. Foundations of Bayesianism
پدیدآورنده: edited by David Corfield, Jon Williamson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Distribution (Probability theory).,Microeconomics.,Philosophy (General).,Science-- Philosophy.,Statistics.
13. Foundations of Rational Agency
پدیدآورنده: edited by Michael Wooldridge, Anand Rao.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Linguistics-- Philosophy.,Logic.,Mathematics.,Philosophy (General).
14. Fuzzy Sets, Logics and Reasoning about Knowledge
پدیدآورنده: edited by Didier Dubois, Henri Prade, Erich Peter Klement.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
15. Human Modelling in Assisted Transportation
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Engineering. ; Artificial intelligence. ; Computer simulation. ; Astronautics. ; Philosophy (General). ; Engineering. ; Automotive Engineering. ; Simulation and Modeling. ; Psychology, general. ; Artificial Intelligence (incl. Robotics). ; Aerospace Techn
16. Inference on the Low Level
پدیدآورنده: by Hannes Leitgeb.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Genetic epistemology.,Logic.,Philosophy (General).
17. Intellectics and Computational Logic
پدیدآورنده: edited by Steffen Hölldobler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General).
18. Komplexes Problemlösen :
پدیدآورنده: von Joachim Funke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Philosophy (General)
رده :
BF449
.
V665
1986
19. Labelled Deduction
پدیدآورنده: edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General)
